[next] [prev] [prev-tail] [tail] [up]

2.2.13 Integrals 1201 to 1300

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

251 251 1741 1154 0 304 0 0 688

N.S.

1 1.00 6.94 4.60 0.00 1.21 0.00 0.00 2.74

time (sec)

N/A 0.414 6.699 0.471 0.000 0.307 0.000 0.000 7.581

Problem 1202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-1) C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

267 267 1364 545 0 264 0 0 507

N.S.

1 1.00 5.11 2.04 0.00 0.99 0.00 0.00 1.90

time (sec)

N/A 0.512 6.300 0.155 0.000 0.389 0.000 0.000 5.709

Problem 1203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-1) C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

231 231 1697 514 0 241 0 0 430

N.S.

1 1.00 7.35 2.23 0.00 1.04 0.00 0.00 1.86

time (sec)

N/A 0.504 6.402 0.155 0.000 0.404 0.000 0.000 5.494

Problem 1204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

227 227 1688 727 0 264 0 0 376

N.S.

1 1.00 7.44 3.20 0.00 1.16 0.00 0.00 1.66

time (sec)

N/A 0.496 6.512 0.182 0.000 0.319 0.000 0.000 5.464

Problem 1205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

226 226 1672 950 0 267 0 0 358

N.S.

1 1.00 7.40 4.20 0.00 1.18 0.00 0.00 1.58

time (sec)

N/A 0.506 6.578 0.267 0.000 0.430 0.000 0.000 6.016

Problem 1206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

231 231 1673 1328 0 272 0 0 408

N.S.

1 1.00 7.24 5.75 0.00 1.18 0.00 0.00 1.77

time (sec)

N/A 0.489 6.634 0.324 0.000 0.500 0.000 0.000 7.188

Problem 1207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

231 231 1692 1070 0 281 0 0 436

N.S.

1 1.00 7.32 4.63 0.00 1.22 0.00 0.00 1.89

time (sec)

N/A 0.495 6.691 0.378 0.000 1.165 0.000 0.000 8.157

Problem 1208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

267 267 1739 1235 0 304 0 0 457

N.S.

1 1.00 6.51 4.63 0.00 1.14 0.00 0.00 1.71

time (sec)

N/A 0.518 6.747 0.485 0.000 0.660 0.000 0.000 8.266

Problem 1209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-1) C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

310 310 1416 576 0 287 0 0 764

N.S.

1 1.00 4.57 1.86 0.00 0.93 0.00 0.00 2.46

time (sec)

N/A 0.622 6.343 0.157 0.000 0.886 0.000 0.000 6.264

Problem 1210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F(-1) C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

274 274 1751 545 0 264 0 0 601

N.S.

1 1.00 6.39 1.99 0.00 0.96 0.00 0.00 2.19

time (sec)

N/A 0.610 6.485 0.147 0.000 0.858 0.000 0.000 5.998

Problem 1211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

270 270 1742 786 0 287 0 0 548

N.S.

1 1.00 6.45 2.91 0.00 1.06 0.00 0.00 2.03

time (sec)

N/A 0.610 6.581 0.198 0.000 0.876 0.000 0.000 5.973

Problem 1212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

269 269 1451 864 0 284 0 0 468

N.S.

1 1.00 5.39 3.21 0.00 1.06 0.00 0.00 1.74

time (sec)

N/A 0.612 6.670 0.223 0.000 0.830 0.000 0.000 6.098

Problem 1213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

267 267 1449 1214 0 280 0 0 525

N.S.

1 1.00 5.43 4.55 0.00 1.05 0.00 0.00 1.97

time (sec)

N/A 0.599 6.773 0.375 0.000 0.841 0.000 0.000 8.027

Problem 1214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

271 271 1454 1535 0 289 0 0 560

N.S.

1 1.00 5.37 5.66 0.00 1.07 0.00 0.00 2.07

time (sec)

N/A 0.611 6.868 0.406 0.000 1.465 0.000 0.000 9.530

Problem 1215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-2) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

274 274 1748 1400 0 304 0 0 724

N.S.

1 1.00 6.38 5.11 0.00 1.11 0.00 0.00 2.64

time (sec)

N/A 0.615 6.922 0.485 0.000 1.015 0.000 0.000 10.769

Problem 1216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

310 310 1795 1478 0 327 0 0 830

N.S.

1 1.00 5.79 4.77 0.00 1.05 0.00 0.00 2.68

time (sec)

N/A 0.643 7.015 0.582 0.000 0.923 0.000 0.000 10.129

Problem 1217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

210 210 2117 341 0 316 0 0 -1

N.S.

1 1.00 10.08 1.62 0.00 1.50 0.00 0.00 -0.00

time (sec)

N/A 0.220 6.626 0.155 0.000 1.135 0.000 0.000 0.000

Problem 1218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

174 174 2063 320 0 296 0 0 -1

N.S.

1 1.00 11.86 1.84 0.00 1.70 0.00 0.00 -0.01

time (sec)

N/A 0.209 6.577 0.142 0.000 0.858 0.000 0.000 0.000

Problem 1219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

134 134 2008 300 0 277 0 0 -1

N.S.

1 1.00 14.99 2.24 0.00 2.07 0.00 0.00 -0.01

time (sec)

N/A 0.194 6.487 0.158 0.000 0.511 0.000 0.000 0.000

Problem 1220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

93 93 1973 281 0 266 0 0 -1

N.S.

1 1.00 21.22 3.02 0.00 2.86 0.00 0.00 -0.01

time (sec)

N/A 0.187 6.451 0.130 0.000 0.407 0.000 0.000 0.000

Problem 1221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

122 122 2009 353 0 315 0 0 -1

N.S.

1 1.00 16.47 2.89 0.00 2.58 0.00 0.00 -0.01

time (sec)

N/A 0.199 6.532 0.182 0.000 0.693 0.000 0.000 0.000

Problem 1222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

165 165 2052 467 0 347 0 0 -1

N.S.

1 1.00 12.44 2.83 0.00 2.10 0.00 0.00 -0.01

time (sec)

N/A 0.217 6.912 0.266 0.000 1.145 0.000 0.000 0.000

Problem 1223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

210 210 2111 785 0 369 0 0 -1

N.S.

1 1.00 10.05 3.74 0.00 1.76 0.00 0.00 -0.00

time (sec)

N/A 0.229 7.245 0.355 0.000 0.492 0.000 0.000 0.000

Problem 1224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

258 258 2174 513 0 445 0 0 -1

N.S.

1 1.00 8.43 1.99 0.00 1.72 0.00 0.00 -0.00

time (sec)

N/A 0.335 6.878 0.184 0.000 0.810 0.000 0.000 0.000

Problem 1225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

214 214 2120 491 0 426 0 0 -1

N.S.

1 1.00 9.91 2.29 0.00 1.99 0.00 0.00 -0.00

time (sec)

N/A 0.330 6.785 0.164 0.000 0.681 0.000 0.000 0.000

Problem 1226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

180 180 2064 472 0 406 0 0 -1

N.S.

1 1.00 11.47 2.62 0.00 2.26 0.00 0.00 -0.01

time (sec)

N/A 0.306 6.665 0.192 0.000 0.930 0.000 0.000 0.000

Problem 1227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

144 144 1628 509 0 377 0 0 -1

N.S.

1 1.00 11.31 3.53 0.00 2.62 0.00 0.00 -0.01

time (sec)

N/A 0.279 6.537 0.158 0.000 0.481 0.000 0.000 0.000

Problem 1228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

133 133 1620 509 0 371 0 0 -1

N.S.

1 1.00 12.18 3.83 0.00 2.79 0.00 0.00 -0.01

time (sec)

N/A 0.285 6.520 0.160 0.000 1.507 0.000 0.000 0.000

Problem 1229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

167 167 1660 559 0 427 0 0 -1

N.S.

1 1.00 9.94 3.35 0.00 2.56 0.00 0.00 -0.01

time (sec)

N/A 0.299 6.640 0.249 0.000 1.164 0.000 0.000 0.000

Problem 1230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

211 211 2107 724 0 476 0 0 -1

N.S.

1 1.00 9.99 3.43 0.00 2.26 0.00 0.00 -0.00

time (sec)

N/A 0.326 7.682 0.339 0.000 1.157 0.000 0.000 0.000

Problem 1231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

250 250 2164 1045 0 498 0 0 -1

N.S.

1 1.00 8.66 4.18 0.00 1.99 0.00 0.00 -0.00

time (sec)

N/A 0.344 8.412 0.424 0.000 1.041 0.000 0.000 0.000

Problem 1232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

273 273 2257 666 0 552 0 0 -1

N.S.

1 1.00 8.27 2.44 0.00 2.02 0.00 0.00 -0.00

time (sec)

N/A 0.454 7.554 0.183 0.000 1.241 0.000 0.000 0.000

Problem 1233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

234 234 2206 638 0 535 0 0 -1

N.S.

1 1.00 9.43 2.73 0.00 2.29 0.00 0.00 -0.00

time (sec)

N/A 0.445 7.342 0.184 0.000 0.777 0.000 0.000 0.000

Problem 1234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

201 201 2175 624 0 524 0 0 -1

N.S.

1 1.00 10.82 3.10 0.00 2.61 0.00 0.00 -0.00

time (sec)

N/A 0.416 7.191 0.190 0.000 1.096 0.000 0.000 0.000

Problem 1235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

193 193 2167 624 0 522 0 0 -1

N.S.

1 1.00 11.23 3.23 0.00 2.70 0.00 0.00 -0.01

time (sec)

N/A 0.411 7.030 0.178 0.000 0.941 0.000 0.000 0.000

Problem 1236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

191 191 2164 624 0 522 0 0 -1

N.S.

1 1.00 11.33 3.27 0.00 2.73 0.00 0.00 -0.01

time (sec)

N/A 0.408 7.000 0.184 0.000 0.539 0.000 0.000 0.000

Problem 1237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

229 229 2205 789 0 574 0 0 -1

N.S.

1 1.00 9.63 3.45 0.00 2.51 0.00 0.00 -0.00

time (sec)

N/A 0.430 7.348 0.230 0.000 1.434 0.000 0.000 0.000

Problem 1238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

268 268 2248 1013 0 603 0 0 -1

N.S.

1 1.00 8.39 3.78 0.00 2.25 0.00 0.00 -0.00

time (sec)

N/A 0.453 8.273 0.482 0.000 1.334 0.000 0.000 0.000

Problem 1239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

278 278 2319 680 0 659 0 0 -1

N.S.

1 1.00 8.34 2.45 0.00 2.37 0.00 0.00 -0.00

time (sec)

N/A 0.572 7.719 0.227 0.000 1.141 0.000 0.000 0.000

Problem 1240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

244 244 2286 666 0 648 0 0 -1

N.S.

1 1.00 9.37 2.73 0.00 2.66 0.00 0.00 -0.00

time (sec)

N/A 0.539 7.516 0.221 0.000 1.473 0.000 0.000 0.000

Problem 1241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

232 232 1862 595 0 613 0 0 -1

N.S.

1 1.00 8.03 2.56 0.00 2.64 0.00 0.00 -0.00

time (sec)

N/A 0.529 7.306 0.208 0.000 0.635 0.000 0.000 0.000

Problem 1242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

229 229 1862 595 0 613 0 0 -1

N.S.

1 1.00 8.13 2.60 0.00 2.68 0.00 0.00 -0.00

time (sec)

N/A 0.515 7.143 0.204 0.000 1.229 0.000 0.000 0.000

Problem 1243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

234 234 1862 595 0 615 0 0 -1

N.S.

1 1.00 7.96 2.54 0.00 2.63 0.00 0.00 -0.00

time (sec)

N/A 0.521 7.182 0.218 0.000 0.595 0.000 0.000 0.000

Problem 1244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

276 276 2316 1017 0 700 0 0 -1

N.S.

1 1.00 8.39 3.68 0.00 2.54 0.00 0.00 -0.00

time (sec)

N/A 0.572 7.601 0.284 0.000 0.684 0.000 0.000 0.000

Problem 1245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

226 226 127 153 668 125 0 0 -1

N.S.

1 1.00 0.56 0.68 2.96 0.55 0.00 0.00 -0.00

time (sec)

N/A 0.424 0.613 0.497 0.679 2.313 0.000 0.000 0.000

Problem 1246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

178 178 105 120 508 104 0 0 -1

N.S.

1 1.00 0.59 0.67 2.85 0.58 0.00 0.00 -0.01

time (sec)

N/A 0.377 0.408 0.210 0.665 2.566 0.000 0.000 0.000

Problem 1247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 82 89 321 84 0 0 -1

N.S.

1 1.00 0.64 0.69 2.49 0.65 0.00 0.00 -0.01

time (sec)

N/A 0.317 0.211 0.198 0.642 2.373 0.000 0.000 0.000

Problem 1248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 94 222 380 329 0 0 -1

N.S.

1 1.00 0.67 1.59 2.71 2.35 0.00 0.00 -0.01

time (sec)

N/A 0.290 0.664 0.247 0.655 4.788 0.000 0.000 0.000

Problem 1249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 94 303 970 371 0 0 -1

N.S.

1 1.00 0.68 2.18 6.98 2.67 0.00 0.00 -0.01

time (sec)

N/A 0.300 0.812 0.224 0.673 2.148 0.000 0.000 0.000

Problem 1250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 109 440 2167 413 0 0 -1

N.S.

1 1.00 0.72 2.91 14.35 2.74 0.00 0.00 -0.01

time (sec)

N/A 0.311 0.760 0.167 0.724 3.217 0.000 0.000 0.000

Problem 1251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

199 199 140 533 4002 457 0 0 -1

N.S.

1 1.00 0.70 2.68 20.11 2.30 0.00 0.00 -0.01

time (sec)

N/A 0.374 1.441 0.178 0.828 4.939 0.000 0.000 0.000

Problem 1252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

247 247 178 626 6492 497 0 0 -1

N.S.

1 1.00 0.72 2.53 26.28 2.01 0.00 0.00 -0.00

time (sec)

N/A 0.435 2.269 0.182 1.078 3.825 0.000 0.000 0.000

Problem 1253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

284 284 158 187 862 154 0 0 -1

N.S.

1 1.00 0.56 0.66 3.04 0.54 0.00 0.00 -0.00

time (sec)

N/A 0.609 2.189 0.171 0.683 4.464 0.000 0.000 0.000

Problem 1254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

232 232 123 154 703 132 0 0 -1

N.S.

1 1.00 0.53 0.66 3.03 0.57 0.00 0.00 -0.00

time (sec)

N/A 0.526 1.534 0.229 0.672 1.972 0.000 0.000 0.000

Problem 1255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 100 121 513 110 0 0 -1

N.S.

1 1.00 0.55 0.67 2.83 0.61 0.00 0.00 -0.01

time (sec)

N/A 0.407 1.053 0.207 0.679 1.688 0.000 0.000 0.000

Problem 1256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

192 192 115 235 757 385 0 0 -1

N.S.

1 1.00 0.60 1.22 3.94 2.01 0.00 0.00 -0.01

time (sec)

N/A 0.436 1.173 0.242 0.693 1.626 0.000 0.000 0.000

Problem 1257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

197 197 122 366 1895 429 0 0 -1

N.S.

1 1.00 0.62 1.86 9.62 2.18 0.00 0.00 -0.01

time (sec)

N/A 0.452 1.433 0.239 0.715 2.985 0.000 0.000 0.000

Problem 1258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

203 203 129 472 3661 445 0 0 -1

N.S.

1 1.00 0.64 2.33 18.03 2.19 0.00 0.00 -0.00

time (sec)

N/A 0.458 1.562 0.165 0.814 2.401 0.000 0.000 0.000

Problem 1259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

201 201 141 534 5748 467 0 0 -1

N.S.

1 1.00 0.70 2.66 28.60 2.32 0.00 0.00 -0.00

time (sec)

N/A 0.462 2.424 0.173 0.916 2.358 0.000 0.000 0.000

Problem 1260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

253 253 176 627 8121 509 0 0 -1

N.S.

1 1.00 0.70 2.48 32.10 2.01 0.00 0.00 -0.00

time (sec)

N/A 0.542 3.927 0.177 1.146 2.621 0.000 0.000 0.000

Problem 1261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

303 303 210 720 10749 551 0 0 -1

N.S.

1 1.00 0.69 2.38 35.48 1.82 0.00 0.00 -0.00

time (sec)

N/A 0.590 6.162 0.184 1.795 3.362 0.000 0.000 0.000

Problem 1262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

334 334 244 222 1135 189 0 0 -1

N.S.

1 1.00 0.73 0.66 3.40 0.57 0.00 0.00 -0.00

time (sec)

N/A 0.755 6.740 0.172 0.718 4.388 0.000 0.000 0.000

Problem 1263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

284 284 157 189 925 165 0 0 -1

N.S.

1 1.00 0.55 0.67 3.26 0.58 0.00 0.00 -0.00

time (sec)

N/A 0.683 2.343 0.171 0.718 3.753 0.000 0.000 0.000

Problem 1264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

231 231 124 156 751 141 0 0 -1

N.S.

1 1.00 0.54 0.68 3.25 0.61 0.00 0.00 -0.00

time (sec)

N/A 0.472 1.624 0.224 0.698 3.314 0.000 0.000 0.000

Problem 1265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

242 242 137 270 1005 451 0 0 -1

N.S.

1 1.00 0.57 1.12 4.15 1.86 0.00 0.00 -0.00

time (sec)

N/A 0.562 1.896 0.161 0.721 3.999 0.000 0.000 0.000

Problem 1266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

243 243 149 410 8464 495 0 0 -1

N.S.

1 1.00 0.61 1.69 34.83 2.04 0.00 0.00 -0.00

time (sec)

N/A 0.600 1.577 0.171 0.959 3.553 0.000 0.000 0.000

Problem 1267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

253 253 155 536 5414 509 0 0 -1

N.S.

1 1.00 0.61 2.12 21.40 2.01 0.00 0.00 -0.00

time (sec)

N/A 0.598 1.997 0.178 3.550 3.924 0.000 0.000 0.000

Problem 1268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

253 253 157 567 17788 515 0 0 -1

N.S.

1 1.00 0.62 2.24 70.31 2.04 0.00 0.00 -0.00

time (sec)

N/A 0.599 2.656 0.175 3.756 3.167 0.000 0.000 0.000

Problem 1269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

253 253 178 629 10154 533 0 0 -1

N.S.

1 1.00 0.70 2.49 40.13 2.11 0.00 0.00 -0.00

time (sec)

N/A 0.594 4.228 0.179 3.935 2.485 0.000 0.000 0.000

Problem 1270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

301 301 212 722 12710 579 0 0 -1

N.S.

1 1.00 0.70 2.40 42.23 1.92 0.00 0.00 -0.00

time (sec)

N/A 0.679 6.516 0.190 1.913 3.152 0.000 0.000 0.000

Problem 1271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B A F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

353 353 947 815 16461 625 0 0 -1

N.S.

1 1.00 2.68 2.31 46.63 1.77 0.00 0.00 -0.00

time (sec)

N/A 0.741 6.578 0.200 3.287 5.730 0.000 0.000 0.000

Problem 1272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

257 257 178 286 970 416 0 0 -1

N.S.

1 1.00 0.69 1.11 3.77 1.62 0.00 0.00 -0.00

time (sec)

N/A 0.591 0.908 0.174 0.723 4.317 0.000 0.000 0.000

Problem 1273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

211 211 163 253 774 378 0 0 -1

N.S.

1 1.00 0.77 1.20 3.67 1.79 0.00 0.00 -0.00

time (sec)

N/A 0.468 0.579 0.244 0.701 2.908 0.000 0.000 0.000

Problem 1274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 88 220 566 340 0 0 -1

N.S.

1 1.00 0.54 1.35 3.47 2.09 0.00 0.00 -0.01

time (sec)

N/A 0.335 0.719 0.215 0.685 4.119 0.000 0.000 0.000

Problem 1275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

178 178 96 250 800 501 0 0 -1

N.S.

1 1.00 0.54 1.40 4.49 2.81 0.00 0.00 -0.01

time (sec)

N/A 0.350 0.643 0.221 0.705 3.147 0.000 0.000 0.000

Problem 1276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 113 375 19132 580 0 0 -1

N.S.

1 1.00 0.62 2.07 105.70 3.20 0.00 0.00 -0.01

time (sec)

N/A 0.362 0.606 0.164 0.884 2.994 0.000 0.000 0.000

Problem 1277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

235 235 127 545 3334 636 0 0 -1

N.S.

1 1.00 0.54 2.32 14.19 2.71 0.00 0.00 -0.00

time (sec)

N/A 0.502 1.196 0.169 0.823 4.617 0.000 0.000 0.000

Problem 1278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

281 281 154 638 5590 680 0 0 -1

N.S.

1 1.00 0.55 2.27 19.89 2.42 0.00 0.00 -0.00

time (sec)

N/A 0.635 1.217 0.181 0.929 3.691 0.000 0.000 0.000

Problem 1279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 137 283 890 553 0 0 -1

N.S.

1 1.00 0.74 1.54 4.84 3.01 0.00 0.00 -0.01

time (sec)

N/A 0.413 0.445 0.246 0.762 3.207 0.000 0.000 0.000

Problem 1280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

283 283 135 450 0 510 0 0 -1

N.S.

1 1.00 0.48 1.59 0.00 1.80 0.00 0.00 -0.00

time (sec)

N/A 0.638 3.186 0.168 0.000 1.982 0.000 0.000 0.000

Problem 1281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

233 233 113 359 37260 466 0 0 -1

N.S.

1 1.00 0.48 1.54 159.91 2.00 0.00 0.00 -0.00

time (sec)

N/A 0.502 2.119 0.241 1.264 2.725 0.000 0.000 0.000

Problem 1282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

181 181 96 306 9341 430 0 0 -1

N.S.

1 1.00 0.53 1.69 51.61 2.38 0.00 0.00 -0.01

time (sec)

N/A 0.359 1.655 0.237 0.817 3.362 0.000 0.000 0.000

Problem 1283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

189 189 118 374 4285 612 0 0 -1

N.S.

1 1.00 0.62 1.98 22.67 3.24 0.00 0.00 -0.01

time (sec)

N/A 0.384 1.770 0.177 0.784 5.072 0.000 0.000 0.000

Problem 1284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-1) A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

242 242 532 553 0 728 0 0 -1

N.S.

1 1.00 2.20 2.29 0.00 3.01 0.00 0.00 -0.00

time (sec)

N/A 0.525 6.615 0.171 0.000 2.833 0.000 0.000 0.000

Problem 1285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

300 300 239 731 15483 808 0 0 -1

N.S.

1 1.00 0.80 2.44 51.61 2.69 0.00 0.00 -0.00

time (sec)

N/A 0.667 2.488 0.175 2.144 3.770 0.000 0.000 0.000

Problem 1286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

333 333 173 647 250341 614 0 0 -1

N.S.

1 1.00 0.52 1.94 751.77 1.84 0.00 0.00 -0.00

time (sec)

N/A 0.778 4.336 0.171 8.977 7.873 0.000 0.000 0.000

Problem 1287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

281 281 146 550 157292 578 0 0 -1

N.S.

1 1.00 0.52 1.96 559.76 2.06 0.00 0.00 -0.00

time (sec)

N/A 0.652 3.327 0.183 5.423 2.766 0.000 0.000 0.000

Problem 1288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

231 231 128 500 264379 536 0 0 -1

N.S.

1 1.00 0.55 2.16 1144.50 2.32 0.00 0.00 -0.00

time (sec)

N/A 0.501 2.748 0.174 3.945 2.274 0.000 0.000 0.000

Problem 1289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 119 474 8402 518 0 0 -1

N.S.

1 1.00 0.65 2.59 45.91 2.83 0.00 0.00 -0.01

time (sec)

N/A 0.383 2.085 0.175 1.722 3.973 0.000 0.000 0.000

Problem 1290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

241 241 153 675 10341 752 0 0 -1

N.S.

1 1.00 0.63 2.80 42.91 3.12 0.00 0.00 -0.00

time (sec)

N/A 0.514 3.392 0.177 1.592 5.207 0.000 0.000 0.000

Problem 1291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

294 294 568 972 0 884 0 0 -1

N.S.

1 1.00 1.93 3.31 0.00 3.01 0.00 0.00 -0.00

time (sec)

N/A 0.676 6.714 0.184 0.000 11.450 0.000 0.000 0.000

Problem 1292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

190 190 143 565 0 246 0 0 254

N.S.

1 1.00 0.75 2.97 0.00 1.29 0.00 0.00 1.34

time (sec)

N/A 0.214 1.069 0.151 0.000 0.842 0.000 0.000 5.369

Problem 1293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 117 515 0 222 0 0 216

N.S.

1 1.00 0.76 3.34 0.00 1.44 0.00 0.00 1.40

time (sec)

N/A 0.196 0.954 0.142 0.000 1.249 0.000 0.000 5.075

Problem 1294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

116 116 1569 465 0 195 0 0 162

N.S.

1 1.00 13.53 4.01 0.00 1.68 0.00 0.00 1.40

time (sec)

N/A 0.184 6.548 0.148 0.000 0.591 0.000 0.000 5.018

Problem 1295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F(-2) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

106 106 1904 388 0 216 0 0 146

N.S.

1 1.00 17.96 3.66 0.00 2.04 0.00 0.00 1.38

time (sec)

N/A 0.185 7.000 0.152 0.000 0.976 0.000 0.000 5.413

Problem 1296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

112 112 1909 639 0 229 0 0 184

N.S.

1 1.00 17.04 5.71 0.00 2.04 0.00 0.00 1.64

time (sec)

N/A 0.200 7.046 0.230 0.000 1.110 0.000 0.000 6.343

Problem 1297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 136 715 0 260 0 0 217

N.S.

1 1.00 0.89 4.70 0.00 1.71 0.00 0.00 1.43

time (sec)

N/A 0.217 1.682 0.328 0.000 0.652 0.000 0.000 7.093

Problem 1298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) C F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

190 190 173 824 0 288 0 0 223

N.S.

1 1.00 0.91 4.34 0.00 1.52 0.00 0.00 1.17

time (sec)

N/A 0.227 4.492 0.383 0.000 1.509 0.000 0.000 7.803

Problem 1299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-1) C F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

250 250 194 784 0 318 0 0 366

N.S.

1 1.00 0.78 3.14 0.00 1.27 0.00 0.00 1.46

time (sec)

N/A 0.416 1.417 0.183 0.000 1.501 0.000 0.000 5.884

Problem 1300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F(-1) C F(-1) F B

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

202 202 2361 706 0 281 0 0 303

N.S.

1 1.00 11.69 3.50 0.00 1.39 0.00 0.00 1.50

time (sec)

N/A 0.399 6.927 0.161 0.000 1.464 0.000 0.000 5.687

[next] [prev] [prev-tail] [front] [up]